#include "stm32f4xx_wwdg.h"
#include "stm32f4xx_rcc.h"

void WWdgInit(void)
{
    RCC_APB1PeriphClockCmd(RCC_APB1Periph_WWDG, ENABLE);
    WWDG_SetPrescaler(WWDG_Prescaler_8);
    WWDG_SetWindowValue(80);
    WWDG_Enable(127);
}

void WWdgFeed(void)
{
    WWDG_SetCounter(127);
}
